What is…model theory of operator algebras?

Abstract: Model theory is the area of logic that studies mathematical structures through the lens of first-order logic, examining what properties of a structure are expressible by first-order sentences and analyzing what subsets of the structure can be defined using first-order formulae. In the last 15 years or so, the model theory of operator algebras has been a very active field with exciting interactions taking place between the model theoretic and operator algebraic communities. In this talk, I will survey some of the main themes being pursued in the model theory of tracial von Neumann algebras. No prior knowledge of logic or model theory will be assumed.

geometric topologynumber theoryoperator algebrasrepresentation theory

Audience: researchers in the topic

( slides | video )

---

Noncommutative geometry in NYC

Series comments: Noncommutative Geometry studies an interplay between spatial forms and algebras with non-commutative multiplication. Our seminar welcomes talks in Number Theory, Geometric Topology and Representation Theory linked to the context of Operator Algebras. All talks are kept at the entry-level accessible to the graduate students and non-experts in the field. To join us click meet.google.com/zjd-ehrs-wtx (5 min in advance) and igor DOT v DOT nikolaev AT gmail DOT com to subscribe/unsubscribe for the mailing list, to propose a talk or to suggest a speaker. Pending speaker's consent, we record and publish all talks at the hyperlink "video" on speaker's profile at the "Past talks" section. The slides can be posted by providing the organizers with a link in the format "myschool.edu/~myfolder/myslides.pdf". The duration of talks is 1 hour plus or minus 10 minutes.

***** We're transitioning to a new platform google meet. Please bear with us and we apologize for the inconvenience! ****

---